Logic in computer science - PDFSEARCH.IO - Document Search Engine

Logic in computer science
Results: 2713

#	Item
951	Double Dose of Double-Negation Translations Olivier Hermant CRI, MINES ParisTech June 2, 2014 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-12-23 09:38:50 Propositional calculus Boolean algebra Non-classical logic Logic in computer science Cut-elimination theorem Intuitionistic logic Sequent calculus Sequent First-order logic Mathematical logic Logic Proof theory
952	Relating Models of Backtracking Mitchell Wand Dale Vaillancourt College of Computer and Information Science Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2004-07-21 16:26:52 Functional programming Models of computation Logic in computer science Monad Denotational semantics Lambda calculus Fixed-point combinator Valuation Theoretical computer science Declarative programming Mathematics
953	Finding Contradictions in Text Marie-Catherine de Marneffe, Anna N. Rafferty and Christopher D. Manning Computer Science Department Linguistics Department Stanford University Stanford University Add to Reading List Source URL: www-nlp.stanford.edu Language: English - Date: 2008-08-08 16:31:24 Logical consequence Marxism Marxist theory Philosophical logic Entailment Contradiction Negation Textual entailment Logic Propositional calculus Science
954	PDF Document Add to Reading List Source URL: derekbeaulieu.files.wordpress.com Language: English - Date: 2013-12-12 16:56:43 Fluent Function Mathematics Logic in computer science Functions and mappings
955	Transaction Logic with Defaults and Argumentation Theories? Paul Fodor and Michael Kifer State University of New York at Stony Brook, USA Abstract. Transaction Logic (abbr., T R) [9,12] is a logic that gracefully integr Add to Reading List Source URL: silk.semwebcentral.org Language: English - Date: 2011-05-19 13:22:04 Formal languages Model theory Logic in computer science Functions and mappings Interpretation Well-formed formula Fluent Term algebra Function Logic Mathematics Mathematical logic
956 $A Taste of Sound Reasoning in Faust Emilio Jesús Gallego Arias, Olivier Hermant, Pierre Jouvelot MINES ParisTech, PSL Research University, France {emilio.gallego_arias, olivier.hermant, pierre.jouvelot}@mines-paristech.$	A Taste of Sound Reasoning in Faust Emilio Jesús Gallego Arias, Olivier Hermant, Pierre Jouvelot MINES ParisTech, PSL Research University, France {emilio.gallego_arias, olivier.hermant, pierre.jouvelot}@mines-paristech. Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2015-03-19 06:05:38 Type theory Functional languages Mathematical logic FAUST Eval Mathematical proof Nyquist–Shannon sampling theorem Coq Dependent type Mathematics Computing Theoretical computer science
957	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-27 06:04:04 Logic in computer science First-order logic Isabelle Higher-order logic HOL Modal logic Unification Natural deduction Type theory Logic Mathematical logic Theoretical computer science
958	Proof Certification in Zenon Modulo: When Achilles Uses Deduction Modulo to Outrun the Tortoise with Shorter Steps∗ David Delahaye1 , Damien Doligez2 , Frédéric Gilbert2 , Pierre Halmagrand1 and Olivier Hermant3 1 Add to Reading List Source URL: bware.lri.fr Language: English - Date: 2014-09-27 11:16:51 Logical syntax Logic in computer science Proof theory Mathematical logic Mathematical proof Theorem Formal proof Automated reasoning Logic Mathematics Automated theorem proving
959	-1- Pascal-F Verifier User’s Manual Version 2 Add to Reading List Source URL: www.animats.com Language: English - Date: 2009-05-29 19:02:14 Formal methods NP The Verifier Formal verification IP Assertion Theoretical computer science Applied mathematics Logic in computer science
960	Proc. TACAS 2015, (c) Springer . Verifiable Witnesses Software Verification and (Report on SV-COMPDirk Beyer Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2015-02-14 11:39:08 Applied mathematics Formal verification Software verification Model checking Linear temporal logic Verilog Mathematics Formal methods Logic in computer science Theoretical computer science